Proof in VDM (A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT)))

By Bicarregui, Juan C., Fitzgerald, John, P.A. Lindsay, R.C. Moore

Proof in VDM (A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT)))

By Bicarregui, Juan C., Fitzgerald, John, P.A. Lindsay, R.C. Moore

£45.04

Compiler Design Using Java(R) (An Object-Oriented Approach)

By Moore, John I.

Compiler Design Using Java(R) (An Object-Oriented Approach)

By Moore, John I.

£30.55

Compiler Design Using Java(R) (An Object-Oriented Approach)

By John I. Moore

Compiler Design Using Java(R) (An Object-Oriented Approach)

By John I. Moore

£30.83 Elsewhere ~~£45.95~~ Save £15.12 (33%)

Rationale for the Design of the Ada Programming Language (The Ada Companion Series)

By J. Ichbiah, J. Barnes, R. Firth, M. Woodger

Rationale for the Design of the Ada Programming Language (The Ada Companion Series)

By J. Ichbiah, J. Barnes, R. Firth, M. Woodger

£118 Elsewhere ~~£140.00~~ Save £22.00 (16%)

Surviving the SOC Revolution (A Guide to Platform-Based Design)

By Henry Chang, L. R. Cooke, Merrill Hunt, Grant L. Martin

Surviving the SOC Revolution (A Guide to Platform-Based Design)

By Henry Chang, L. R. Cooke, Merrill Hunt, Grant L. Martin

£89.16

SWAT '90 (2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings (Lecture Notes in Computer Science))

By John R. Gilbert, Rolf Karlsson

SWAT '90 (2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings (Lecture Notes in Computer Science))

By John R. Gilbert, Rolf Karlsson

£45.02

Optimization of Learning Applications for Signal P rocessing and System Identification with MATLAB (R)

By Martin Andersen, Anders Hansson

Optimization of Learning Applications for Signal P rocessing and System Identification with MATLAB (R)

By Martin Andersen, Anders Hansson

£76.94 Elsewhere ~~£98.50~~ Save £21.56 (22%)

Perspectives on Adaptation in Natural and Artificial Systems (Essays in Honor of John Holland (Santa Fe Institute Studies on the Sciences of Complexity))

By Lashon Booker, Stephanie Forrest, Melanie Mitchell, Rick Riolo

Perspectives on Adaptation in Natural and Artificial Systems (Essays in Honor of John Holland (Santa Fe Institute Studies on the Sciences of Complexity))

By Lashon Booker, Stephanie Forrest, Melanie Mitchell, Rick Riolo

£65.44 Elsewhere ~~£75.00~~ Save £9.56 (13%)

We, Programmers (A Chronicle of Coders from Ada to AI (Robert C. Martin Series))

By Robert C. Martin

We, Programmers (A Chronicle of Coders from Ada to AI (Robert C. Martin Series))

By Robert C. Martin

£27.71 Elsewhere ~~£31.99~~ Save £4.28 (13%)

Software Defined Radio (Enabling Technologies: Enabling Technologies (Wiley Series in Software Radio))

By Wally H.W. Tuttlebee

Software Defined Radio (Enabling Technologies: Enabling Technologies (Wiley Series in Software Radio))

By Wally H.W. Tuttlebee

£139 Elsewhere ~~£160.95~~ Save £21.95 (14%)

Logical Frameworks

By Gerard Huet, G. Plotkin

Logical Frameworks

By Gerard Huet, G. Plotkin

£63.91 Elsewhere ~~£89.99~~ Save £26.08 (29%)

Cambridge Tracts in Theoretical Computer Science (Series Number 41: Epistemic Logic for AI and Computer Science)

By John-Jules Ch. Meyer, W.Van Der Hoek, John-Jules Ch Meyer, S. Abramsky

Cambridge Tracts in Theoretical Computer Science (Series Number 41: Epistemic Logic for AI and Computer Science)

By John-Jules Ch. Meyer, W.Van Der Hoek, John-Jules Ch Meyer, S. Abramsky

£43.79 Elsewhere ~~£57.99~~ Save £14.20 (24%)

Algorithmic Game Theory

By Noam Nisan, Tim Roughgarden, Eva Tardos, Vijay V. Vazirani

Algorithmic Game Theory

By Noam Nisan, Tim Roughgarden, Eva Tardos, Vijay V. Vazirani

£53.45 Elsewhere ~~£59.99~~ Save £6.54 (11%)

1

Linear Optimization (The Simplex Workbook (Undergraduate Texts in Mathematics))

By Glenn H. Hurlbert

Linear Optimization (The Simplex Workbook (Undergraduate Texts in Mathematics))

By Glenn H. Hurlbert

£44.24 Elsewhere ~~£69.99~~ Save £25.75 (37%)

Technology Assessment in Software Applications

By Harold F. O'Neil, Eva L. Baker, Eva L. Baker, Eva L. Baker

Technology Assessment in Software Applications

By Harold F. O'Neil, Eva L. Baker, Eva L. Baker, Eva L. Baker

£120 Elsewhere ~~£150.00~~ Save £30.00 (20%)

Computer Algorithms (String Pattern Matching Strategies (Practitioners))

By Aoe, Jun-Ichi, Ieee

Computer Algorithms (String Pattern Matching Strategies (Practitioners))

By Aoe, Jun-Ichi, Ieee

£68.90 Elsewhere ~~£78.95~~ Save £10.05 (13%)

High Integrity Software (The Springer International Series in Engineering and Computer Science)

By Victor L. Winter, Sourav Bhattacharaya

High Integrity Software (The Springer International Series in Engineering and Computer Science)

By Victor L. Winter, Sourav Bhattacharaya

£128

Giants of Computing (A Compendium of Select, Pivotal Pioneers)

By O'Regan, Gerard

Giants of Computing (A Compendium of Select, Pivotal Pioneers)

By O'Regan, Gerard

£36.13

Giants of Computing (A Compendium of Select, Pivotal Pioneers)

By O'Regan, Gerard

Giants of Computing (A Compendium of Select, Pivotal Pioneers)

By O'Regan, Gerard

£38.02

High Integrity Software (Springer International Series in Engineering and Computer Science The)

By Victor L. Winter, Sourav Bhattacharya

High Integrity Software (Springer International Series in Engineering and Computer Science The)

By Victor L. Winter, Sourav Bhattacharya

£128

Linear Optimization (The Simplex Workbook (Undergraduate Texts in Mathematics))

By Glenn H. Hurlbert

Linear Optimization (The Simplex Workbook (Undergraduate Texts in Mathematics))

By Glenn H. Hurlbert

£49.47

View:
Safe Search(?):